MLAT: Modal Logic Abstraction Tool
نویسندگان
چکیده
منابع مشابه
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic.
متن کاملA Modal Herbrand Theorem
We state and prove a modal Herbrand theorem that is, we believe, a more natural analog of the classical version than has appeared before. The statement itself requires the enlargement of the usual machinery of first-order modal logic — we use the device of predicate abstraction, something that has been considered elsewhere as well. This expands the expressive power of modal logic in a natural w...
متن کاملA Abstraction in Fixpoint Logic
ion in Fixpoint Logic SJOERD CRANEN, MACIEJ GAZDA, WIEGER WESSELINK and TIM A.C. WILLEMSE, Eindhoven University of Technology We present a theory of abstraction for the framework of parameterised Boolean equation systems, a firstorder fixpoint logic. Parameterised Boolean equation systems can be used to solve a variety of problems in verification. We study the capabilities of the abstraction th...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملForschungsberichte Des Fachbereichs Informatik Modal Characterization of Weak Bisimulation for Higher{order Processes Modal Characterization of Weak Bisimulation for Higher{order Processes
Context bisimulation 13, 1] has become an important notion of behavioral equivalence for higher{order processes. Weak forms of context bisimulation are particularly interesting, because of their high level of abstraction. We present a modal logic for this setting and provide a characterization of a variant of weak context bisimulation on second{order processes. We show how the logic permits com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007